home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / launch / mosml.tpl < prev    next >
Encoding:
Text File  |  1997-08-18  |  644 b   |  36 lines  |  [TEXT/R*ch]
  1. #!/bin/sh
  2.  
  3. stdlib=LIBDIR
  4. mosmlbin=BINDIR
  5. includes=""
  6. options=""
  7.  
  8. while : ; do
  9.   case $1 in
  10.     "")
  11.       exec $mosmlbin/camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options;;
  12.     -I|-include)
  13.       includes="$includes -I $2"
  14.       shift;;
  15.     -P|-perv)
  16.       options="$options -P $2"
  17.       shift;;
  18.     -imptypes)
  19.       options="$options -imptypes"
  20.       ;;
  21.     -valuepoly)
  22.       options="$options -valuepoly"
  23.       ;;
  24.     -stdlib)
  25.       stdlib=$2
  26.       shift;;
  27.     -*)
  28.       echo "Unknown option \"$1\", ignored" >&2;;
  29.     *)
  30.       exec $mosmlbin/camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options $* ;;
  31.   esac
  32.   shift
  33. done
  34.  
  35.  
  36.